A Barrier Certificate-Based Simplex Architecture with Application to Microgrids

We present Barrier-based Simplex (Bb-Simplex), a new, provably correct design for runtime assurance of continuous dynamical systems. Bb-Simplex is centered around the Control Architecture, which consists high-performance advanced controller not guaranteed to maintain safety plant, verified-safe baseline controller, and decision module that switches control plant between two controllers ensure without sacrificing performance. In Bb-Simplex, Barrier certificates are used prove ensures safety. Furthermore, features new automated method deriving, from barrier certificate, conditions switching controllers. Our based on Taylor expansion certificate yields computationally inexpensive conditions. consider significant application microgrid featuring an in form neural network trained using reinforcement learning. The modeled RTDS, industry-standard high-fidelity, real-time power systems simulator. results demonstrate can automatically derive complex systems, overly conservative, even presence adversarial attacks controller.